Aromatic Butcher Series
نویسندگان
چکیده
We show that without other further assumption than affine equivariance and locality, a numerical integrator has an expansion in a generalized form of Butcher series (B-series) which we call aromatic B-series. We obtain an explicit description of aromatic B-series in terms of elementary differentials associated to aromatic trees, which are directed graphs generalizing trees. We also define a new class of integrators, the class of aromatic Runge–Kutta methods, that extends the class of Runge–Kutta methods, and have aromatic B-series expansion but are not B-series methods. Finally, those results are partially extended to the case of more general affine group equivariance.
منابع مشابه
Backward Error Analysis and the Substitution Law for Lie Group Integrators
Butcher series are combinatorial devices used in the study of numerical methods for differential equations evolving on vector spaces. More precisely, they are formal series developments of differential operators indexed over rooted trees, and can be used to represent a large class of numerical methods. The theory of backward error analysis for differential equations has a particularly nice desc...
متن کاملOn Post-Lie Algebras, Lie-Butcher Series and Moving Frames
Pre-Lie (or Vinberg) algebras arise from flat and torsion-free connections on differential manifolds. These algebras have been extensively studied in recent years, both from algebraic operadic points of view and through numerous applications in numerical analysis, control theory, stochastic differential equations and renormalization. Butcher series are formal power series founded on pre-Lie alg...
متن کاملOn enumeration problems in Lie-Butcher theory
The algebraic structure underlying non-commutative Lie-Butcher series is the free Lie algebra over ordered trees. In this paper we present a characterization of this algebra in terms of balanced Lyndon words over a binary alphabet. This yields a systematic manner of enumerating terms in non-commutative Lie-Butcher series.
متن کاملHopf Algebras of Formal Diffeomorphisms and Numerical Integration on Manifolds
B-series originated from the work of John Butcher in the 1960s as a tool to analyze numerical integration of differential equations, in particular Runge–Kutta methods. Connections to renormalization have been established in recent years. The algebraic structure of classical Runge–Kutta methods is described by the Connes–Kreimer Hopf algebra. Lie–Butcher theory is a generalization of B-series ai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Foundations of Computational Mathematics
دوره 16 شماره
صفحات -
تاریخ انتشار 2016